Concepedia

Concept

automated reasoning

Parents

91.2K

Publications

5.7M

Citations

102.7K

Authors

9.1K

Institutions

Top Institutions in Automated Reasoning

Discover the leading universities, research centers, and organizations that are driving innovation and advancing knowledge in Automated Reasoning. The statistics shown in this table are calculated from publications relevant to this concept and reflect each institution's impact within this specific field of study, not their overall metrics.

PublicationsCitationsH-Index
Stanford University

Stanford, United States

2.4K

304.3K

184

Pittsburgh, United States

2.6K

247.7K

162

1.6K

169.4K

150

University of California, Berkeley

Berkeley, United States

2K

197.7K

146

University of Edinburgh

Edinburgh, United Kingdom

1.3K

108.6K

123

3K

135.9K

122

IBM (United States)

Armonk, United States

1.1K

131.6K

122

Microsoft (United States)

Redmond, United States

1.2K

106.5K

121

University of Toronto

Toronto, Canada

1.2K

242.7K

119

1.5K

118.1K

116

University of Washington

Seattle, United States

1.3K

188.5K

114

Princeton University

Princeton, United States

939

102.9K

112

Page 1